Continuous Semiring-Semimodule Pairs and Mixed Algebraic Systems
نویسندگان
چکیده
منابع مشابه
Continuous Semiring-Semimodule Pairs and Mixed Algebraic Systems
We associate with every commutative continuous semiring S and alphabet Σ a category whose objects are all sets and a morphism X → Y is determined by a function from X into the semiring of formal series S⟪(Y ⊎Σ) ⟫ of finite words over Y ⊎Σ, an X × Y -matrix over S⟪(Y ⊎Σ) ⟫, and a function from X into the continuous S⟪(Y ⊎Σ) ⟫-semimodule S⟪(Y ⊎Σ) ⟫ of series of ωwords over Y ⊎Σ. When S is also an...
متن کاملSemiring and semimodule issues in MV-algebras
In this paper we propose a semiring-theoretic approach to MV-algebras based on the connection between such algebras and idempotent semirings established in [11] and improved in [4] — such an approach naturally imposing the introduction and study of a suitable corresponding class of semimodules, called MV-semimodules. Besides some basic yet fundamental results of more general interest for semiri...
متن کاملOne Digital Signature Scheme in Semimodule over Semiring
A modernization of signature scheme published in (Sakalauskas, 2004) is presented. This scheme differs from the prototype by its structure and uses a more general algebraic systems. It has a higher security and shorter key length and is also more computationally effective. The introduced new algebraic structures, semiring and semimodule, are mutually compatible algebraic systems. The semiring i...
متن کامل*-Continuous Kleene ω-Algebras
We define and study basic properties of ∗-continuous Kleene ω-algebras that involve a ∗-continuous Kleene algebra with a ∗-continuous action on a semimodule and an infinite product operation that is also ∗-continuous. We show that ∗-continuous Kleene ω-algebras give rise to iteration semiring-semimodule pairs. We show how our work can be applied to solve certain energy problems for hybrid systems.
متن کامل*-Continuous Kleene $\omega$-Algebras
We define and study basic properties of ∗-continuous Kleene ω-algebras that involve a ∗-continuous Kleene algebra with a ∗-continuous action on a semimodule and an infinite product operation that is also ∗-continuous. We show that ∗-continuous Kleene ω-algebras give rise to iteration semiring-semimodule pairs. We show how our work can be applied to solve certain energy problems for hybrid systems.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta Cybernetica
سال: 2017
ISSN: 0324-721X
DOI: 10.14232/actacyb.23.1.2017.5